| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Game Theory | Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 468674 | ||
| Algorithmische Spieltheorie (für Informatik & SSE) | Vorlesung | 467131 | Mo 12:30-14:00 klPhys (1090|334) (×12) Di 10:30-11:30 B037 (3011|037) (×1) Do 14:30-16:00 III (1010|107) (×12) Fr 10:00-11:00 B037 (3011|037) (×1) | |||
| Algorithmic Learning Theory | Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 463032 | ||
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 8 | 463156 | ||
| Algorithmische Modelltheorie | Übung | 467726 | Do 12:30-14:00 SG 12 (1810|012) (×15) | |||
| Algorithmische Modelltheorie | Vorlesung | 467727 | Mo 10:30-12:00 IV (1010|141) (×15) Mi 12:30-14:00 AH I (2350|028) (×14) | |||
| Algorithms for Politics | Algorithmics for Politics | Fach-/Modulprüfung | 6 | 464350 | ||
| Analysis of Algorithms | Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 463272 | ||
| Analyse von Algorithmen | Vorlesung | 468548 | Di 10:30-12:00 5052 (2356|052) (×12) Mi 10:30-12:00 5055 (2356|055) (×13) | |||
| Combinatorial Graph Theory | Kombinatorische Graphentheorie | Fach-/Modulprüfung | 6 | 463065 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 463090 | ||
| Compilerbau | Übung | 458641 | Mi 14:30-16:00 AH II (2350|111) (×10) | |||
| Compilerbau | Vorlesung | 460125 | Mo 14:30-16:00 AachenMünchener Halle (Aula) (1010|131) (×10) Mo 15:00-16:30 AH VI (2356|051) (×2) Fr 11:00-13:00 AH V (2356|050) (×1) Fr 12:30-14:00 Roter Hörsaal AM (Ro) (1420|002) (×11) | |||
| Concurrency Theory | Concurrency Theory | Fach-/Modulprüfung | 6 | 462904 | ||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 465978 | ||
| Graph Algorithms | Algorithmische Graphentheorie | Fach-/Modulprüfung | 6 | 463381 | ||
| Algorithmische Graphentheorie - Übung | Tutorium | 467472 | Di 16:30-18:00 5056 (2356|056) (×11) Mi 16:30-18:00 Seminarraum i1, Raum 4017 (2353|017) (×11) Do 12:30-14:00 5056 (2356|056) (×11) | |||
| Algorithmische Graphentheorie | Vorlesung | 467471 | Di 14:30-16:00 AH III (2350|314.1) (×9) Mi 14:30-16:00 AH V (2356|050) (×11) Do 11:00-12:00 5054 (2356|054) (×1) | |||
| Graph Decompositions and Algorithmic Applications | Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 466550 | ||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 463445 | ||
| Infinite Computations and Games | Übung | 459245 | Di 16:30-18:00 5055 (2356|055) (×14) | |||
| Infinite Computations and Games | Vorlesung | 459500 | Do 12:30-14:00 AH II (2350|111) (×12) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 464854 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 464855 | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 8 | 463152 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 465959 | ||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 464045 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 463416 | ||
| Parameterized Algorithms | Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 465960 | ||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 6 | 463299 | ||
| Probabilistische Programmierung | Übung | 458006 | Fr 12:30-14:00 AH I (2350|028) (×10) | |||
| Probabilistische Programmierung | Vorlesung | 458250 | Di 16:30-18:00 AH III (2350|314.1) (×9) Do 16:30-18:00 AH II (2350|111) (×12) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 463369 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 459420 | Mo 10:30-12:00 AH I (2350|028) (×12) Mo 10:30-12:00 AH VI (2356|051) (×1) Di 08:30-10:00 AH I (2350|028) (×13) Mi 10:15-11:00 AH II (2350|111) (×12) |